Theory of computation - PDFSEARCH.IO - Document Search Engine

Theory of computation
Results: 2087

#	Item
811	Generative Type Abstraction and Type-level Computation Dimitrios Vytiniotis Simon Peyton Jones Stephanie Weirich University of Pennsylvania Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:47:21 Model theory Entailment Logic Metalogic Deduction
812	The Ref proof-checker and its “common shared scenario” Eugenio G. Omodeo December 3, 2011 · · · l’histoire g´eologique nous montre que la vie n’est qu’un court ´episode entre deux ´eternit´es de mort, et Add to Reading List Source URL: www.multimedialibrary.com Language: English - Date: 2014-03-05 08:24:18 Function Automata theory Computability theory Theory of computation COMPASS/Sample Code IIHF World U18 Championships – Division II Mathematics Functions and mappings Constructible universe
813	Regular Sensing Shaull Almagor1 , Denis Kuperberg2 , and Orna Kupferman1 1 2 The Hebrew University, Israel. Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2014-10-15 08:28:09 Büchi automaton Regular language DFA minimization Finite-state machine Turing machine Deterministic automaton Ω-automaton Automata theory Theory of computation Theoretical computer science
814	Predicative Lexicographic Path Orders: Towards a Maximal Model for Primitive Recursive Functions∗ Naohi Eguchi Institute of Computer Science, University of Innsbruck, Austria Add to Reading List Source URL: www.imn.htwk-leipzig.de Language: English - Date: 2013-08-26 10:13:12 Mathematical logic Recursion Theory of computation Functions and mappings Programming idioms Primitive recursive function Well-founded relation ELEMENTARY Fold Computability theory Mathematics Theoretical computer science
815	Operational domain theory and topology of sequential programming languages Mart´ın Escard´o Weng Kin Ho Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2008-12-11 05:21:07 Metalogic Denotational semantics Structure Continuous function Sheaf Lambda calculus Orbifold Surreal number Mathematics Models of computation Model theory
816	Part III Michaelmas 2012 COMPUTATIONAL COMPLEXITY Lecture notes Add to Reading List Source URL: www.cs.bris.ac.uk Language: English - Date: 2013-10-08 12:14:22 Computer science Turing machine Models of computation Alan Turing Universal Turing machine Computability Computational complexity theory Halting problem Church–Turing thesis Theoretical computer science Computability theory Theory of computation
817	Motivation Programs may contain code whose result is needed, but in which some computation is simply a redundant repetition of earlier computation within the same program. The concept of expression availability is useful Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2006-01-31 06:00:00 Abstract algebra Evaluation Expression ALGOL 68 Conditional Semantics Boolean algebra Computing Software engineering Programming language theory
818	Quantum Information and Computation, Vol. 1, No{93 c Rinton Press MAJORIZATION AND THE INTERCONVERSION OF BIPARTITE STATES Add to Reading List Source URL: michaelnielsen.org Language: English - Date: 2014-12-09 09:23:17 Matrices Quantum information science Quantum mechanics Linear algebra Majorization Order theory Density matrix Schur-convex function Matrix Algebra Mathematics Physics
819	Computational approaches to analyze complex dynamic systems: model-checking and its applications. Part 3: Model-checking of timed transitions systems: timed extensions of Petri nets Morgan Magnin Add to Reading List Source URL: www.nii.ac.jp Language: English - Date: 2013-04-09 03:06:25 Concurrency Applied mathematics Diagrams Petri net Automata theory Formal verification Finite-state machine Petri Model checking Models of computation Theoretical computer science Computer science
820	Part III Michaelmas 2011 QUANTUM COMPUTATION Lecture notes Add to Reading List Source URL: www.cs.bris.ac.uk Language: English - Date: 2013-06-11 09:48:33 Computational complexity theory Quantum complexity theory Quantum information science Decision tree model Quantum algorithm Deutsch–Jozsa algorithm PP BQP Quantum computer Theoretical computer science Applied mathematics Models of computation

UPDATE